Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
491	Giorgi Japaridze Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61 Add to Reading List Source URL: www.csc.villanova.edu Language: English - Date: 2014-03-25 12:26:15 Non-classical logic Logic in computer science Philosophical logic Proof theory Computability logic Giorgi Japaridze Cointerpretability Weak interpretability George Boolos Logic Mathematical logic Mathematics
492	Diversification of search results as a fuzzy satisfiability problem Steven Schockaert and Martine De Cock Dept. of Applied Mathematics and Computer Science, Ghent University, Belgium {steven.schockaert,martine.decock}@ug Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-02-18 04:59:35 Logic in computer science Model theory Artificial intelligence Fuzzy logic Non-classical logic Constructible universe Many-valued logic Interpretation Logic Science Mathematics
493	Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 09:39:13 Logic programming Logic in computer science Non-classical logic Mathematical optimization Stable model semantics Answer set programming Fuzzy logic NP Computational complexity theory Theoretical computer science Applied mathematics Complexity classes
494	Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-04-05 14:54:22 Mathematics Logic programming Modal logic Autoepistemic logic Fuzzy logic Stable model semantics Many-valued logic Interpretation Model theory Logic Mathematical logic Non-classical logic
495	Weak and strong disjunction in possibilistic ASP Kim Bauters1? , Steven Schockaert1?? , Martine De Cock1 , and Dirk Vermeir2 1 Department of Applied Mathematics and Computer Science Universiteit Gent, Krijgslaan 281, 900 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-06-17 07:43:23 Propositional calculus Boolean algebra Non-classical logic Philosophical logic Stable model semantics Answer set programming Modal logic Clause Negation Logic Logic programming Mathematical logic
496	ISMVL 2003 Information 33rd International Symposium on Multiple-Valued Logic[removed]May 2003 Meiji University, Tokyo, Japan Add to Reading List Source URL: science.icu.ac.jp Language: English - Date: 2003-05-13 23:21:56 Non-classical logic Logic in computer science Artificial intelligence Many-valued logic Fuzzy logic Algebraic logic Boolean algebra Logic gate Boolean function Logic Mathematical logic Mathematics
497	Working Papers Add to Reading List Source URL: www.iiia.csic.es Language: English - Date: 2012-08-02 07:07:33 Artificial intelligence Philosophical logic Fuzzy logic T-norm fuzzy logics Probabilistic logic Many-valued logic Modal logic Classical logic Epistemic modal logic Logic Mathematical logic Non-classical logic
498	Towards Fuzzy Spatial Reasoning in Geographic IR Systems ∗ Steven Schockaert , Martine De Cock, Etienne E. Kerre Department of Applied Mathematics and Computer Science Add to Reading List Source URL: www.geo.unizh.ch Language: English - Date: 2006-07-05 06:30:00 Non-classical logic LSm Logic Biology Mathematics Data fusion Artificial intelligence Fuzzy logic Logic in computer science
499	Fuzzy autoepistemic logic and its relation to fuzzy answer set programming Marjon Blondeela,1 , Steven Schockaertb , Martine De Cockc , Dirk Vermeira a Vrije Universiteit Brussel, Department of Computer Science, Pleinla Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:30:28 Non-classical logic Modal logic Artificial intelligence Autoepistemic logic Stable model semantics Negation as failure Default logic Non-monotonic logic Fuzzy logic Logic Mathematical logic Logic programming
500	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic

UPDATE